Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 4 Sep 2020 11:56:03 +0000 (11:56 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 4 Sep 2020 11:56:03 +0000 (11:56 +0000)
Ebassi/for master

Closes #3118

See merge request GNOME/gtk!2527


Trivial merge